Proof Support for RAISE by a Reuse Approach Based on Institutions
نویسندگان
چکیده
منابع مشابه
Aggrandizing the beast's limbs: patulous code reuse attack on ARM architecture
Since smartphones are usually personal devices full of private information, they are a popular target for a vast variety of real-world attacks such as Code Reuse Attack (CRA). CRAs enable attackers to execute any arbitrary algorithm on a device without injecting an executable code. Since the standard platform for mobile devices is ARM architecture, we concentrate on available ARM-based CRAs. Cu...
متن کاملCategorical Abstract Logic : Hidden Multi - Sorted Logics as Multi - Term Π - Institutions
Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-Fé...
متن کاملAdaptation of Proofs for Reuse
I Automated theorem provers might be improved if they arc enabled to reuse previously computed proofs. Our approach for reuse is based on generalizing computed proofs by replacing function symbols with function variables. This yields a schematic proof which is instantiated subsequently for obtaining proofs of new, similar conjectures. Our reuse method, which requires no human support, demands t...
متن کاملPublication/Citation: A Proof-Theoretic Approach to Mathematical Knowledge Management
There are many real-life examples of formal systems that support constructions or proofs, but that do not provide direct support for remembering them so that they can be recalled and reused in the future. In this paper we examine the operations of publication (remembering a proof) and citation (recalling a proof for reuse), regarding them as forms of common subexpression elimination on proof te...
متن کاملThe Impact of Entrepreneurship Television Programs on Entrepreneurial Intentions: The Mediating Role of Family Support
In today's dynamic world economy, traditional business approaches no longer meet the needs of market survival, growth and profitability, and entrepreneurship is presented to families, institutions, and individuals as a necessity. One of the main concerns is to create productive employment for young people in the country, which requires the necessary platform for entrepreneurship. The favorable ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004